A description logic based approach for product knowledge reasoning

In the context of the semantic web; product knowledge is represented as product ontologies in it’s conceptual level. Product ontology construction, integration, and evolution greatly depend on the availability of well-defined semantics and powerful reasoning tools, as to facilitate machine understandability of web resources. In order to capture the semantic of a complicated product data model, the expressive language ALCNHR+K(D) is introduced not only can represent knowledge about concrete domain and constraints, but also, rule in some sense of a closed world semantic model hypothesis. This paper investigates an extension to description logic based knowledge reasoning, by means of decomposing and rewriting complicated hybrid concepts into partitions. We present an approach that automatically decomposes the whole knowledge base into a description logic compatible and constraints solver. Our argument is two-fold. First, complex description logics with powerful representation ability and second is how to reason with the combination of inferences from distributed heterogeneous reasoner.